<!DOCTYPE html><html><head><meta charset=UTF-8><body><script src=devtools.js></script>